Maximal Introspection of Agents
نویسنده
چکیده
This paper concerns the representation of introspective belief and knowledge in multi-agent systems. An introspective agent is an agent that has the ability to refer to itself and reason about its own beliefs. It is well-known that representing introspective beliefs is theoretically very problematic. An agent which is given strong introspective abilities is most likely to have inconsistent beliefs, since it can use introspection to express self-referential beliefs that are paradoxical in the same way as the classical paradoxes of self-reference. In multi-agent systems these paradoxical beliefs can even be expressed as beliefs about the correctness and completeness of other agents’ beliefs, i.e., even without the presence of explicit introspection. In this paper we explore the maximal sets of introspective beliefs that an agent can consistently obtain and retain when situated in a dynamic environment, and when treating beliefs “syntactically” (that is, formalizing beliefs as axioms of first-order predicate logic rather than using modal formalisms). We generalize some previous results by Perlis [1985] and des Rivières & Levesque [1988].
منابع مشابه
Perspectives on Bounded Rationality
Economists have for long expressed dissatisfaction with the complex models of strict rationality that are so pervasive in economic theory. There are several objections to such models. First~ casual empiricism or even just simple introspection lead to the conclusion that even in quite simple decision problems, most economic agents are not in fact maximizers, in the sense that they do not scan th...
متن کاملIntrospection and Projection in Reasoning about Other Agents Introspection and Projection in Reasoning about Other Agents
This paper develops the formal aspects of a new apporach to reasoning about the knowledge of other agents. It is based on the principles of introspection, by which an agent is aware of the inferences he makes, and projection, by which an agent assumes that other agents have the same inference abilities as himself. The paper develops a logic that incorporates these principles and proves the soun...
متن کاملIntrospection as Control in Result-Sharing Assumption-Based Reasoning Agents
Introspection refers to an agent’s knowledge of its own beliefs. In this paper we explore the use of introspection as a mechanism for control in result-sharing cooperative assumptionbased reasoning systems. Contrary to the current trend towards building agents with mechanisms for selective communication, our experiments indicate there exists an interesting class of cooperative distributed probl...
متن کاملDedicare Omnimondus: A New Ontology of Introspection
Extrospection agents are committed to a universal ontology which, at its most elemental, is mathematics. This ontology is highly efficient in that there is no room for interpretive disagreement; differential calculus is differential calculus, there is no community context. Introspection agents are also committed to a universal ontology which, at its most elemental, is myth and metaphor. This on...
متن کاملBelief Change with Noisy Sensing and Introspection
We model belief change due to noisy sensing, and belief introspection in the framework of the situation calculus. We give some properties of our axiomatization and show that it does not suffer from the problems with combining sensing, introspection, and plausibility update described in Shapiro et al. [2000].
متن کامل